We obtain in this paper a representation of the formulae of extensions ofL by generalized quantifiers through functors between categories of first-order structures and partial isomorphisms. The main tool in the proofs is the back-and-forth technique. As a corollary we obtain the Caicedo's version of Fraïssés theorem characterizing elementary equivalence for such languages. We also discuss informally some geometrical interpretations of our results.

DNA double‐strand breaks (DSBs) are extremely hazardous lesions for all DNA‐bearing organisms and the mechanisms of DSB repair are highly conserved. In the eukaryotic mitotic cell cycle, DSBs are often present following DNA replication while, in meiosis, hundreds of DSBs are generated as a prelude to the reshuffling of the maternally and paternally derived genomes. In both cases, the DSBs are repaired by a process called homologous recombinational repair (HRR), which utilises an intact DNA molecule as the repair template. Mitotic (...) and meiotic HRR are managed by ‘checkpoints’ that inhibit cell division until DSB repair is complete. Here we attempt to summarise the substantial recent progress in understanding the checkpoint management of HRR in mitosis (focussing mainly on mammals) and then go on to use this information as a framework for understanding the presumed checkpoint management of HRR in mammalian meiosis. BioEssays 29:974–986, 2007. © 2007 Wiley Periodicals, Inc. (shrink)

Buildings are constructed for accommodating living and industrial needs. Floor cleaning robots have been developed to cater to the demand of these buildings. Area coverage and coverage time are crucial performance factors of a floor cleaning robot. Reconfigurable tiling robots have been introduced over fixed shape robots to improve area coverage in floor cleaning applications compared to robots with fixed morphologies. However, area coverage and coverage time of a tiling robot compromised one another. This study proposes a novel concept that (...) considers the ability of a tiling robot to configure both its morphology and size according to the environment. This concept is inspired by the pleomorphism that could be seen in bacteria. In this regard, P-hTetro, a pleomorphic tiling robot that can reconfigure its morphology and size, is considered. A novel coverage strategy for realizing the size reconfiguration is also proposed. According to this strategy, the robot covers obstacle-free areas with its maximum size, while an obstacle cluster is covered after shrinking to an optimum size. The optimum size for reconfiguration is determined by the genetic algorithm based on the arrangement of the environment. The performance and behavior of the proposed P-hTetro have been compared against that of an existing tiling robot which has a fixed size. According to the statistical outcomes, a tiling robot with the ability to reconfigure its size can significantly improve the performance in the aspects of area coverage and coverage time compared to a tiling robot with no ability to reconfigure its size. (shrink)

Background: Discussing treatment risks has become increasingly important in medical communication. Still, despite regulations, physicians must decide how much and what kind of information to present. Objective: To investigate patients’ preference for information about a small risk of a complication of colonoscopy, and whether medical and personal factors contribute to such preference. To propose a disclosure policy related to our results. Design: Vignettes study. Setting: Department of Gastroenterology, Academic Medical Centre, the Netherlands. Patients: 810 consecutive colonoscopy patients. Intervention: A home-sent (...) questionnaire containing three vignettes. Vignettes varied in the indication for colonoscopy, complication severity and level of risk. Patients were invited to indicate their wish to be informed and the importance of such information. In addition, sociodemograhic, illness-related and psychological characteristics were assessed. Main outcome measurements: Wish to be informed and importance of information. Results: Of 810 questionnaires, 68% were returned. Patients generally wished to be informed about low-risk complications, regardless of the indication for colonoscopy or the severity of the complication. The level of risk did matter, though (OR = 2.48, SE = 0.28, p = 0.001). The information was considered less important if done for population screening purposes or diagnosis of colon cancer, if the complication was less severe (bleeding) and if the risk was smaller (0.01% and 0.1%). Patients’ information preference was also related to age, mood and coping style. Limitations: Difficulty of vignettes. Conclusions: Patients generally wish to be informed about all possible risks. However, this might become uninformative. A stepwise approach is suggested. (shrink)

In Chinese scholarship, Xunzi is often regarded as an eclectic Confucian master who accepted some form of utilitarian thoughts (e.g. Fung Yu-lan, Mou Zongsan and Xu Fuguan). This characteristic was also observed by some western scholars such as Benjamin I. Schwartz. In a recent study, I argued that the basic character of Xunzi’s philosophy is utilitarianism in a broad sense based on an examination on his intellectual criticism and political criticism. Xunzi asserts that humans are innately driven by self-interested desires, (...) and he evaluates all intellectual works and political behaviours by their utility. However, he does not limit utility to only basic animal desires such as food and sex. In Xunzi’s view, humans also have innate emotions; hence, these emotions should also be accounted for in their utility. This is similar to John Stuart Mill’s redefinition of Bentham’s concept of utility. Are Xunzi’s and Mill’s concepts of utility exactly the same? This question has yet to be examined. This article is a comparative study between utilitarianism and Xunzi’s philosophy which especially explores the compatibility of these two philosophies. (shrink)

Das Grab des Königs Ninetjer in Saqqara: Architektonische Entwicklung frühzeitlicher Grabanlagen in Ägypten. By Claudia M. Lacher-Raschdorff. Deutsches Archäologisches Institut Kairo, Archäologische Veröffentlichungen, vol. 125. Wiesbaden: Harrassowitz Verlag, 2014. Pp. 295, 44 pls., plans. €247.

In Computer Science stepwise refinement of algebraic specifications is a well-known formal methodology for rigorous program development. This paper illustrates how techniques from Algebraic Logic, in particular that of interpretation, understood as a multifunction that preserves and reflects logical consequence, capture a number of relevant transformations in the context of software design, reuse, and adaptation, difficult to deal with in classical approaches. Examples include data encapsulation and the decomposition of operations into atomic transactions. But if interpretations open such a new (...) research avenue in program refinement, (conceptual) tools are needed to reason about them. In this line, the paper’s main contribution is a study of the correspondence between logical interpretations and morphisms of a particular kind of coalgebras. This opens way to the use of coalgebraic constructions, such as simulation and bisimulation, in the study of interpretations between (abstract) logics. (shrink)

The study presents the broad outlines for a relationalist interpretation of the Indian epistemological doctrine svataḥ prāmāṇya. Due to the inadequacy of the main western interpretations thereof, the paper’s approach can be considered an inference to the best explanation. Its main part is devoted to the typologization of various epistemological doctrines based on the svataḥ prāmāṇya principle in terms of strong and weak disjunctivism. Three paradigm cases of strong disjunctivism and a special variety of weak disjunctivism have thus been identified (...) in Indian epistemology, which allowed to draw a conclusion that strong disjunctivism constituted one of its general paradigms. (shrink)

Книга предназначена для специалистов в области философии и феноменологии религии, христианской теологии, а также для студентов и аспирантов соответствующих специальностей.